An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USA

Source URL: pxtp.github.io

• Computing
• Software engineering
• Computer programming
• Functional programming
• Subroutines
• Computability theory
• Theoretical computer science
• Computer algebra systems
• Pattern matching
• Wolfram Mathematica
• Expr
• Anonymous function

ODIN: A Model for Adapting and Enriching Legacy Infrastructure William D. Lewis Department of Linguistics University of Washington/CSU Fresno

Source URL: faculty.washington.edu

Teaching Teachers Mathematics The Importance and Components of Quality Professional Development Jim Lewis University of Nebraska-Lincoln

Source URL: scimath.unl.edu

Enriching Language Data through Projected Structures William Lewis, Fei Xia, Dan Jinguji Department of Linguistics University of Washington

Source URL: faculty.washington.edu

An Ontology for Linguistic Annotation Scott Farrar, William D. Lewis, and D. Terence Langendoen Department of Linguistics, University of Arizona {farrar, wlewis, langendt}@u.arizona.edu This paper discusses some of the d

Source URL: faculty.washington.edu

Peter Ash, MD Professor of Psychiatry and Behavioral Sciences Emory University School of Medicine Bibliography – August, 2016 Publications Ash, P., Nurcombe, B.: Malpractice and Professional Liability. In: Lewis’s Ch

Source URL: www.peterash.com

Gendering the Roman imago* Lewis Webb University of Gothenburg Eius te suscitat

Source URL: eugesta-revue.univ-lille3.fr

Deep Learning for Reward Design to Improve Monte Carlo Tree Search in ATARI Games Xiaoxiao Guo, Satinder Singh, Richard Lewis, Honglak Lee University of Michigan, Ann Arbor {guoxiao,baveja,rickl,honglak}@umich.edu

Source URL: web.eecs.umich.edu

• Neuroscience
• Artificial intelligence
• Machine learning
• Machine learning algorithms
• Computational neuroscience
• Artificial neural networks
• Q-learning
• Reinforcement learning
• University of Cape Town
• Monte Carlo tree search
• Sepp Hochreiter
• Convolutional neural network

The Core Legion Object Model1 Mike Lewis Andrew Grimshaw {mlewis,grimshaw}@Virginia.edu Department of Computer Science University of Virginia

Source URL: www.cs.virginia.edu

An Ontology for Linguistic Annotation Scott Farrar, William D. Lewis, and D. Terence Langendoen Department of Linguistics, University of Arizona {farrar, wlewis, langendt}@u.arizona.edu This paper discusses some of the d

Source URL: multitree.linguistlist.org